Formalizing Business Process Using Hybrid Programs
نویسندگان
چکیده
A semantic annotation of business processes with concepts from ontology has become necessity in service provisioning. There have been few work on semantically labeling business processes in terms of ontology that formalizes business process structure, business domains etc. However, dynamic behavior of a process cannot be captured by such means as ontology languages are not suitable for specifying behavioral semantics. In this work, we propose a method for labeling and specifying business processes by using hybrid programs as the knowledge representation formalism. The formalism of hybrid programs integrates normal programs (using the parlance of logic programming) with ontology specified in OWL-DL (semantic web standard).
منابع مشابه
Formalizing Service Interactions
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process management (BPM). In SOA, interaction agreements between business partners are defined as choreographies containing common interaction patterns. However, complex interactions are difficult to specify, basically because ...
متن کاملFormalizing Both Refraction-Based and Sequential Executions of Production Rule Programs
Production systems are declarative, in that they do not explicitly specify the control flow. Yet, the concept of a production system does not include the definition of a given control strategy. The control between rules in a production rule program is, in practice, defined by each implementation of a production rule engine. Engines have traditionally been implemented using the Rete algorithm. S...
متن کاملFormalizing Dependencies in Business Process Models Using Constraint Satisfaction
Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management [Sch00], we propose and describe the use of constraint satisfaction problems [Dec03] as a formal mean for representing these dependencies [Run09, REK09]. We describe different scenarios using constraint satisfaction for the modellin...
متن کاملFormalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behaviour. In an attempt to fill this gap, we describe a formalization of WSBPEL busines...
متن کاملOn Formalizing Inter-process Relationships
Most medium to large organizations support large collections of process designs, often stored in business process repositories. These processes are often inter-dependent. Managing such large collections of processes is not a trivial task. We argue that formalizing and establishing inter-process relationships play a critical role in that task leading to a machinery approach in the process reposi...
متن کامل